Automated Agent Synthesis for Situation-Aware Service Coordination in Service-based Systems

Service-based systems have many applications, including collaborative research and development, e-business, health care, environmental control, military applications, and homeland security. Situation-aware service coordination is required for these systems to coordinate distributed activities under changing environment and workload. In this paper, an automated agent synthesis approach for situation-aware service coordination in service-based systems is presented. This approach is based on AS logic and calculus, and our declarative model for SAW, which are also presented in this paper. This approach consists of three major steps: (1) analyzing situation-awareness (SAW) requirements using our declarative model for SAW and mapping the model representations to logical specifications in AS logic, (2) automated synthesis of AS calculus terms that define SAW agents for situation-aware service coordination, and (3) compilation of AS calculus terms to execution components on an agent platform. An example is presented to illustrate our approach.